Carnegie Mellon University

Results: 4001



#Item
201

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Add to Reading List

Source URL: arieg.bitbucket.org

- Date: 2016-11-24 00:26:40
    202

    Variational Inference for Latent Variable Modelling of Correlation Structure Andrew G. Wilson Carnegie Mellon University

    Add to Reading List

    Source URL: www.cs.cmu.edu

    - Date: 2015-03-10 02:20:38
      203

      Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University

      Add to Reading List

      Source URL: www.cs.cmu.edu

      - Date: 2015-01-03 10:25:29
        204

        Ubiquitous Object Orientation to Foster the Advancement of Programming Languages Darya Kurilova Carnegie Mellon University

        Add to Reading List

        Source URL: www.cs.cmu.edu

        - Date: 2015-09-10 10:16:04
          205

          Cuckoo Filter: Practically Better Than Bloom Bin Fan, David G. Andersen, Michael Kaminsky† , Michael D. Mitzenmacher‡ Carnegie Mellon University, † Intel Labs, ‡ Harvard University {binfan,dga}@cs.cmu.edu, michae

          Add to Reading List

          Source URL: www.cs.cmu.edu

          - Date: 2014-10-24 09:41:02
            206

            Retrofitting Word Vectors to Semantic Lexicons Manaal Faruqui Jesse Dodge Sujay K. Jauhar Chris Dyer Eduard Hovy Noah A. Smith Language Technologies Institute Carnegie Mellon University Pittsburgh, PA, 15213, USA

            Add to Reading List

            Source URL: www.cs.cmu.edu

            - Date: 2015-09-08 14:12:00
              207

              Valor: Efficient, Software-Only Region Conflict Exceptions ∗ Minjia Zhang Michael D. Bond Carnegie Mellon University (USA)

              Add to Reading List

              Source URL: web.cse.ohio-state.edu

              - Date: 2015-11-03 15:48:28
                208

                Comprehensive Annotation of Multiword Expressions in a Social Web Corpus Nathan Schneider† Spencer Onuffer Nora Kazour Emily Danchik Michael T. Mordowanec Henrietta Conrad Noah A. Smith Carnegie Mellon University Pitts

                Add to Reading List

                Source URL: www.cs.cmu.edu

                - Date: 2014-04-13 00:41:41
                  209

                  Using Handhelds as Controls for Everyday Appliances: A Paper Prototype Study Jeffrey W. Nichols Human Computer Interaction Institute School of Computer Science Carnegie Mellon University

                  Add to Reading List

                  Source URL: www.cs.cmu.edu

                  - Date: 2000-12-18 13:58:58
                    210

                    A Differential Operator Approach to Equational Differential Invariants? (Invited Paper) Andr´e Platzer Computer Science Department, Carnegie Mellon University, Pittsburgh, USA

                    Add to Reading List

                    Source URL: symbolaris.com

                    - Date: 2014-08-04 10:09:21
                      UPDATE